#include <pci.h>

pci_device_table_t dev8086[] = 
{
	{0x7190, "440BX/ZX AGPset Host Bridge"},
	{0x7191, "440BX/ZX AGPset PCI-to-PCI Bridge"},
	{0x7110, "PIIX4/4E/4M ISA Bridge"},
	{0x7111, "PIIX4/4E/4M IDE Controller"},
	{0x7112, "PIIX4/4E/4M USB Interface"},
	{0x7113, "PIIX4/4E/4M Power Management Controller"},
	{0, 0};
};

pci_device_table_t dev15AD[] = 
{
	{0x0405, "Virtual SVGA"},
	{0, 0}
};

pci_device_table_t dev104B[] = 
{
	{0x1040, "BT958 SCSI Host Adaptor"},
	{0, 0}
};

pci_device_table_t dev1022[] = 
{
	{0x2000, "PCnet LANCE PCI Ethernet Controller"},
	{0, 0}
};

pci_device_table_t dev1274[] = 
{
	{0x1371, "AudioPCI"},
	{0, 0}
};

pci_lookup_table_t pci_database[] = 
{
	{0x8086, "Intel", dev8086},
	{0x15AD, "VMware", dev15AD},
	{0x104B, "Mylex/Buslogic", dev104B},
	{0x1022, "Advanced Micro Devices", dev1022},
	{0x1274, "Ensoniq", dev1274},
	{0, 0, 0}
};